bounded quantification中文什么意思

• 有界量词限制

• bounded:    adj. 1.有界限的，有限制的。 2.【数学】有界的。 ...
• quantification:    n. 定量；【逻辑学】附量，量化。
• bounded:    adj. 1.有界限的，有限制的。 2.【数学】有界的。 n. -ness
• bounded by:    被……限制; 被…限制以…为边界周围是…
• amenable to quantification:    可用数量表示

百科释义

In type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping.

其他语言

bounded quantification перевод：мат. ограниченная квантификация